| 1. Identificação | ||||
| Tipo de Referência | Relatório (Report) | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34R/42QRRBP | |||
| Repositório | sid.inpe.br/mtc-m21c/2020/07.08.19.47 | |||
| Última Atualização | 2020:07.08.19.47.53 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2020/07.08.19.47.53 | |||
| Última Atualização dos Metadados | 2022:09.14.20.07.14 (UTC) administrator | |||
| Chave de Citação | ErasVija:2014:DiUMVe | |||
| Título | Diagramas UML na verificação formal de software  | |||
| Ano | 2014 | |||
| Data de Acesso | 07 maio 2024 | |||
| Tipo | RDP | |||
| Número de Páginas | 9 | |||
| Número de Arquivos | 1 | |||
| Tamanho | 181 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Eras, Eduardo Rohde 2 Vijaykumar, Nandamudi Lankalapalli | |||
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JHTU | |||
| Grupo | 1 2 LAC-CTE-INPE-MCTI-GOV-BR | |||
| Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 eduardorohdeeras@gmail.com 2 vijay.nl@inpe.br | |||
| Instituição | Instituto Nacional de Pesquisas Espaciais | |||
| Cidade | São José dos Campos | |||
| Histórico (UTC) | 2020-07-08 19:47:53 :: simone -> administrator :: 2022-09-14 20:07:14 :: administrator -> simone :: 2014 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | UML software | |||
| Área | COMP | |||
| Arranjo | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2014 > Diagramas UML na... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://mtc-m21c.sid.inpe.br/ibi/8JMKD3MGP3W34R/42QRRBP | |||
| URL dos dados zipados | http://mtc-m21c.sid.inpe.br/zip/8JMKD3MGP3W34R/42QRRBP | |||
| Arquivo Alvo | Eduardo Rohde Eras.pdf | |||
| Grupo de Usuários | simone | |||
| Visibilidade | shown | |||
| Permissão de Leitura | allow from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | urlib.net/www/2017/11.22.19.04.03 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8PH | |||
| Lista de Itens Citando | sid.inpe.br/mtc-m16c/2022/07.08.19.46 1 sid.inpe.br/bibdigital/2013/09.22.23.14 1 sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1 | |||
| Divulgação | BNDEPOSITOLEGAL | |||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notas | ||||
| Notas | Bolsa PIBIC/INPE/CNPq | |||
| Campos Vazios | abstract archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label language lineage mark nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||